Taking out the trash

How Multi-site Businesses Have Turned Taking out the Trash from Cost Center to Profit Generator

Taking the risk out of risk assessment.

Risk assessment is indeed a tried and tested management tool in industry that is new to the health service. Mary Spinks' article indicates that it is new to her, too (Patient safety, risky business, Features,June 29).

Taking the Copy Out of Copyright

Under current U.S. law and common understanding, the fundamental right granted by copyright is the right of reproduction – of making copies. Indeed, the very word “copyright” appears to signify that the right to control copying must be a fundamental part of any system of copyright. Nonetheless, we claim that this assumption is incorrect. The advent of digital documents has illuminated this issu...

Stereoscopic Presentations – Taking the Difficulty out of

A wide range of technology is now available for the projection of high-quality stereoscopic presentations. This paper reviews the software tools that are currently available for the generation of presentations containing stereoscopic images and the hardware that is available for the projection of those presentations. This paper also discusses the need for more tools to take the difficulty out o...

Taking the hol out of HOL

We describe a systematic approach to building tools for the automated analysis of specifications expressed in higher-order logic (hol) independent of a conventional, interactive theorem proving environment. In contrast to tools such as HOL and PVS, we have taken “the hol out of HOL” by building automated analysis procedures from a toolkit for manipulating hol specifications. Our approach elimin...